#ifndef ELF_LOADER_H_
# define ELF_LOADER_H_

# include "kstd.h"

// load an elf file and return its code address
void* elf_load(const char* elf_file,
	       t_uint32* stack_begin); // out

void jmp_to_userland(t_uint32 stack_begin,
		     t_uint32 jmp_addr);

#endif
